Dépendances entre Vues et Mises à jour dans les Bases de Données Semi-structurées

RÉSUMÉ. Dans ce papier nous étudions le problème classique de l’impact d’une mise à jour sur une vue, dans le cadre de données semi-structurées. Nous faisons les hypothèses suivantes: (i) le document source est modélisé par un arbre ordonné étiqueté par des symboles d’arité variable, (ii) une vue V est une requête arbre dont l’évaluation sur le document source fournit la vue partielle du document souhaité (iii) une classe de mises à jour C est également donnée par une requête arbre sélectionnant les nœuds à modifier. Nous étudions alors le problème suivant: étant donné une requête de vue V et une classe de mise à jour C est-il possible de détecter si la vue V est indépendante de toute mise à jour q de C ? Nous montrons que le problème est en général PSPACE-difficile. Nous exhibons une condition suffisante évaluable en temps polynomial assurant l’indépendance d’une vue V par rapport à une classe de mises à jour C ainsi qu’une classe de requêtes de vues pour lesquelles le problème devient polynomial.